package BNS.graphs;

/** This class extends Graph by allowing it to hold a table of Properties.
	WARNING: We are considering the elimination of this class.
	*/
public abstract class AnnotatedGraph extends Graph {
	// TODO: Consider eliminating this class by moving the properties into the Graph itself.
	// TODO: Ponder why GraphPack also needs a Properties field; maybe eliminate that too.
	
	public final java.util.Properties properties;
		
	protected AnnotatedGraph(int nn, int ne) { 
		super(nn,ne); 
		properties= new java.util.Properties(); 
		}
	
	public abstract String getInfo();
	}
